1 A ug 2 00 7 A NOTE ON SHORTEST DEVELOPMENTS
نویسنده
چکیده
De Vrijer has presented a proof of the finite developments theorem which, in addition to showing that all developments are finite, gives an effective reduction strategy computing longest developments as well as a simple formula computing their length. We show that by applying a rather simple and intuitive principle of duality to de Vrijer’s approach one arrives at a proof that some developments are finite which in addition yields an effective reduction strategy computing shortest developments as well as a simple formula computing their length. The duality fails for general β-reduction. Our results simplify previous work by Khasidashvili.
منابع مشابه
01 10 7 v 2 1 3 A ug 2 00 3 A Note on Superdistributions and Wavefront Set
We deal with the definition of superdistributions on superspace over a Grassmann-Banach algebra and the extension of the Hörmander's description of the singularity structure (wavefront set) of a distribution to include the supersymmetric case.
متن کاملA ug 2 01 7 On the number of proper paths between vertices in edge - colored hypercubes
Given an integer 1 ≤ j < n, define the (j)-coloring of a n-dimensional hypercube Hn to be the 2-coloring of the edges of Hn in which all edges in dimension i, 1 ≤ i ≤ j, have color 1 and all other edges have color 2. Cheng et al. [Proper distance in edge-colored hypercubes, Applied Mathematics and Computation 313 (2017) 384-391.] determined the number of distinct shortest properly colored paths...
متن کاملm at h . A P ] 1 1 A ug 2 00 6 A NOTE ON H - CONVERGENCE
We give a criterion for H-convergence of conductivity matrices in terms of ordinary weak convergence of the factors in certain quotient representations of the matrices.
متن کاملA ug 2 00 1 A counterexample to the uniqueness result of Cox and Thompson
A counterexample is given to the uniqueness result given in the paper by J.Cox and K.Thompson, Note on the uniqueness of the solution of an equation of interest in inverse scattering problem,
متن کاملar X iv : h ep - p h / 02 09 00 7 v 1 3 1 A ug 2 00 2 Measuring the initial electron beam polarization
The investigation of e γ → ν W process is crucial for a possible high energy eγ or γγ collider since it offers the possibility for both new physics discovery and precision measurements. The polarization of the initial beam is a limiting factor for the systematic errors in both cases. This note addresses the feasibility of making a measurement of the initial electron beam polarization with relat...
متن کامل